Manufacturing Systems Analysis and Design. Qualitative versus Quantitative Techniques in a Petri Net Setting
نویسندگان
چکیده
The paper discusses and illustrates by examples the role of Petri net (PN) models in the analysis and design of flexible manufacturing systems (FMSs). Qualitative techniques use untimed PN models in developing control strategies that ensure good behavioral properties of FMSs. Timed PN models serve for a refined approach where quantitative information is incorporated in the model. The case study presented herein proves the utility of a Petri net simulator with appropriate facilities for the selection of the most adequate policy in controlling a production flow.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملManufacturing Systems Modelling, Specification and Analysis
Modelling, specification and analysis of manufacturing systems require different forms of modelling to analyse their functional, behavioural, information, resource and management aspects at two major levels of details. The first level, called macro-level, is concerned with high-level system design, analysis and specification for which a consistent and precise system description is required. The...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملPetri nets and flexible manufacturing
The aim of this survey is to introduce Computer science/Petri nets specialists to the basic system level issues brought up by the development of Flexible Manufacturing and how Petri nets are used to aid the production engineers in their work. After some terminology concerning production engineering, the hierarchical decision and control level is briefly reviewed. Finally, the role and the prese...
متن کامل